Issue309b.agda:6,14-14
Issue309b.agda:6,14: Malformed syntax declaration: syntax must use holes exactly once
f<ERROR>
g : D → D
g (d x) = f
...
